added checkArgument to precondition checks
added passengers and precondition checks
Merge branch 'release/0.3'