k-Semantics: rule to call required port which binds to a provided port in a sub compoment complete
k-Semantics: Implemented (call) in a clearer way
k-Framework: Renamings and minor bug fix
k-framework: now initial context is created; added index of test files