Splits the right hand side of form
into a list of subformulas
according to the presence of sep
. The left hand side of
form
, if present, will be ignored. The length of the returned
list will be equal to the number of occurrences of sep
in
form
plus one.