Tests for reflect typechecker are added