Inserted the lib that will handle the graphs and created the PropositionFragment.