Fixed ScopeException bug in LTL formulas