Analyse loaded program for erroneous options. This predicate
decompiles the current program and searches for calls to
predicates that process options. For each option list, it
validates whether the provided options are supported and
validates the argument type. This predicate performs partial
dataflow analysis to track option-lists inside a clause.