update semantics rules for procedure
update procedure test-case in schema5.sfp