situation in Generic <+ or +> and tests for it