Wrong concatenation of ternary operators

Signed-off-by: emanuele <emanuele45@gmail.com>
A series of inconsistent verification errors handling

Signed-off-by: emanuele <emanuele45@gmail.com>
Merge pull request #334 from emanuele45/fix_verification

Fix verification