fixed handling of "local xxx=yyy" statements
fixed the occurs() predicate