splitting the creation of the asymmetric assumption SDL into its own clasS