Bug Fix: if was returning an empty Q-expression for true statements