You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
7-(prop-2-enylamino)-2,3,5,6,8,8a-hexahydro-1H-indolizine-7-carbonitrile is the IUPAC name of a molecule. Please give its molecular formula.
user
C12H19N3
assistant