small fix
checks for consistency of programs in presence of variability, improvements in FM checks and new tests