Addition of always true (1) condition and assertion