added implications to json dump of feature model