Add strictness checks.
Added strictness checks to "case-float-arg" and "push".