Parser Class created, imported System.Diagnostics.Contracts