On Procedural Semantics of Metalevel Negation