-- parse main

main :: IO ()
main = smartCheck scargs prop_parse