Core Rascal experiments: reduction semantics with evaluation contexts.