package reordering
initial semantics checker
test cases for semantics checker