factor out pragma check on the entire stack
bug fix on symbol-only in if-control
check unused arguments