adds pre/post conditions for functions in objects
  -- WIP: currently requires both