bugfixing
missing type constraint for select
print all vars of source and target on counterexample