SPIKE if with false condition
SPIKE ifTrue
SPIKE ifTrue ifFalse