print out (possible) conterexample at error/blame message

This pull request extends an error/blame message with possible solution of annotated holes that can cause the error/blame.