inConsFuncDesc :: Reader DrasilState String
inConsFuncDesc = do
  g <- ask
  pAndS <- physAndSfwrCons
  let icDesc False = ""
      icDesc _ = "Verifies that input values satisfy the " ++ pAndS
  return $ icDesc $ "input_constraints" `elem` defList (codeSpec g)
inConsFuncDesc :: Reader DrasilState String
inConsFuncDesc = do
  g <- ask
  pAndS <- physAndSfwrCons
  let icDesc False = ""
      icDesc _ = "Verifies that input values satisfy the " ++ pAndS
  return $ icDesc $ "input_constraints" `elem` defList (codeSpec g)
inConsFuncDesc = do
  g <- ask
  pAndS <- physAndSfwrCons
  let icDesc False = ""
      icDesc _ = "Verifies that input values satisfy the " ++ pAndS
  return $ icDesc $ "input_constraints" `elem` defList (codeSpec g)