Add check_configuration to class Cell
Remove conditional equations from Maude code