k-Semantics: first part of the rule (call) implemented (untested)