Add examples should avoid traps and should not identify as trap something that is not
Add example: should identify a trap state
Add example: should identify a trap state, case 2