Added assumption graph