ASTNone as default in formula parts