optional FM for parseFile helper
ifdeftoif for BDD Feature Expressions
GnuAsmExpr in PrettyPrinter