Checks whether this molecule is an instance, namely it has no variables in its arguments.
true if the molecule is an instance (not variable in the arguments).